What Makes a Strong Monad?

نویسندگان

چکیده

Strong monads are important for several applications, in particular, the denotational semantics of effectful languages, where strength is needed to sequence computations that have free variables. Strength non-trivial: it can be difficult determine whether a monad has any at all, and strong multiple ways. We therefore review some most known facts about prove new ones. In we present number equivalent characterizations functor monad, give conditions guarantee existence or uniqueness strengths. look from three different perspectives: actions monoidal category V, enrichment over powering V. primarily motivated by effects, but results also useful other contexts.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

What Makes a Revolution

Although property rights are the cornerstone of capitalist economies, throughout history existing claims have been frequently overturned and redefined by revolution. A fundamental question for economists is what makes revolutions more likely to occur. A large literature has found contradictory evidence for the effect of income and income inequality on revolt, possibly due to omitted variable bi...

متن کامل

What makes a life good?

Two studies examined folk concepts of the good life. Samples of college students (N = 104) and community adults (N = 264) were shown a career survey ostensibly completed by a person rating his or her occupation. After reading the survey, participants judged the desirability and moral goodness of the respondent's life, as a function of the amount of happiness, meaning in life, and wealth experie...

متن کامل

What makes a good prion?

Introduction Although transmissible spongiform encephalopathies have been studied for decades, prion biology is still a young discipline. The prion concept has existed for less than a quarter of a century, and the study of fungal prions is barely in its teens. The fascinating idea that a protein can turn into a deadly self-replicating entity attracts neurobiologists, cell biologists, geneticist...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Electronic proceedings in theoretical computer science

سال: 2022

ISSN: ['2075-2180']

DOI: https://doi.org/10.4204/eptcs.360.6